-
1 сеть Петри
-
2 сеть Петри
сеть Петри
Абстрактный автомат для описания асинхронных алгоритмов в виде ориентированного графа. Используется, например, для представления музыкальных объектов с помощью команд интерфейса MIDI.
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > сеть Петри
-
3 сеть Петри
<math.> Petri net -
4 сеть Петри
1) Information technology: Petri net2) Oil: petrinet3) Automation: Petri net (для описания асинхронных алгоритмов в виде графа), Petri-net (для описания асинхронных алгоритмов в виде графа) -
5 сеть Петри
-
6 сеть Петри
nIT. réseau de Pétri -
7 сеть Петри
Petri net вчт. -
8 сеть Петри
Petri net вчт. -
9 сеть Петри
( для описания асинхронных алгоритмов в виде графа) Petri net, Petri-netРусско-английский исловарь по машиностроению и автоматизации производства > сеть Петри
-
10 сеть Петри
Русско-английский словарь по вычислительной технике и программированию > сеть Петри
-
11 сеть Петри
Petri net вчт. -
12 сеть Петри
Русско-английский новый политехнический словарь > сеть Петри
-
13 сеть Петри
Русско-английский словарь по информационным технологиям > сеть Петри
-
14 сеть Петри с раскраской
Engineering: colored Petri netУниверсальный русско-английский словарь > сеть Петри с раскраской
-
15 автоматная сеть Петри
Русско-английский большой базовый словарь > автоматная сеть Петри
-
16 автоматная сеть Петри
Information technology: state-machine Petri netУниверсальный русско-английский словарь > автоматная сеть Петри
-
17 маркированная сеть Петри
Graph theory: marked Petri netУниверсальный русско-английский словарь > маркированная сеть Петри
-
18 раскрашенная сеть Петри
Information technology: CPN, colored Petri netУниверсальный русско-английский словарь > раскрашенная сеть Петри
-
19 раскрашенная сеть Петри
Русско-английский словарь по машиностроению > раскрашенная сеть Петри
-
20 сеть
1) circuit
2) lace
3) main
4) mesh
5) net
6) network
– ведомственная сеть
– внутригородская сеть
– коммутируемая сеть
– радиопеленгаторная сеть
– радиотелефонная сеть
– распределительная сеть
– сеть абонентская
– сеть антенная
– сеть локальная
– сеть Петри
– сеть связи
– сеть слабосвязанная
– сеть телефонная
– сеть электрическая
– слабосвязанная сеть
– телевизионная сеть
– телефонная сеть
– частная сеть
интегральная цифровая сеть связи — integrated digital network
местная телефонная сеть — local telephone network
сеть абонентских линий — loop network
сеть бортовая электрическая — <aeron.> aircraft electrical system
сеть вибраторная многорядная — < radio> stack, stacked-dipole array
сеть магистральных связей — <commun.> mainline communications network
сеть метеорологических станций — <meteor.> meteorological network
сеть общего пользования — public network
сеть пакетной коммутации — packet network
сеть передачи данных — data network
сеть с передачей данных без модуляции — baseband network
сеть телефонная нерайоннированная — single-office exchange
стандарт на сеть синхронной оптической связи — synchronous optical network
См. также в других словарях:
сеть Петри — Абстрактный автомат для описания асинхронных алгоритмов в виде ориентированного графа. Используется, например, для представления музыкальных объектов с помощью команд интерфейса MIDI. [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по… … Справочник технического переводчика
сеть Петри — Petri tinklas statusas T sritis automatika atitikmenys: angl. Petri net vok. Petri Netz, n rus. сеть Петри, f pranc. réseau de Petri, m ryšiai: sinonimas – Petri tinklas … Automatikos terminų žodynas
СЕТЬ ПЕТРИ — математическая модель дискретных систем с параллельно функционирующими и асинхронно взаимодействующими компонентами. Предложена немецким ученым К. Петри в начале 60 хгг. Графически С. П. представляет собой двухдольный ориентированный мультиграф с … Энциклопедический словарь по психологии и педагогике
Сеть Петри — … Википедия
ПЕТРИ СЕТЬ — математическая модель дискретных динамич. систем, в том числе информационных систем (параллельных программ, операционных систем, ЭВМ и их устройств, сетей ЭВМ), ориентированная на качественный анализ и синтез таких систем (обнаружение блокировок … Математическая энциклопедия
Сети Петри — Пример сети Петри. Белыми кружками обозначены позиции, полосками переходы, чёрными кружками метки. Сети Петри математический аппарат для моделирования динамических дискретных систем. Впервые описаны Карлом П … Википедия
WF-сети — WF сети подкласс сетей Петри, называемый также сетями потоков работ. Формализм WF сетей введён Вил ван дер Аальстом (англ. Wil van der Aalst) для моделирования потоков работ в workflow системах. Сеть Петри PN = (P,T,F) называется сетью … Википедия
Sequential Function Chart — язык программирования стандарта IEC61131 3. Предназначен для программирования промышленных контроллеров. Широко используется в SCADA/HMI пакетах. SFC графический язык, предназначенный для написания программ последовательного управления… … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
SFC — Sequential Function Chart язык программирования стандарта SCADA/HMI пакетах. SFC графический язык, описывающий диаграмму состояний. Аналогом может служить сеть Петри с разноцветными фишками. К каждому состоянию могут быть подключены действия… … Википедия
Конечные автоматы — Конечный автомат в теории алгоритмов математическая абстракция, позволяющая описывать пути изменения состояния объекта в зависимости от его текущего состояния и входных данных, при условии что общее возможное количество состояний конечно.… … Википедия